You are here: irt.org | FOLDOC | disjoint union
In domain theory, a union (or sum) which results in a domain without a least element.
Nearby terms: discriminated union « discussion group « Disiple « disjoint union » Disjunctive Normal Form » disk » disk controller
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL